<?php
return array (
  6 => '6',
  8 => '8',
  13 => '12',
  12 => '3',
  14 => '4',
  15 => '4',
);
?>